Nuprl Definition : es-interface-image
11,40
postcript
pdf
f
'
Ia
==
a
.inl (
f
(
a
)) o
Ia
latex
Definitions
f
o
g
,
x
.
A
(
x
)
,
inl
x
,
f
(
a
)
FDL editor aliases
es-interface-image
origin
a.inl (f(a)) o Ia a.inl (f(a)) o Ia x.A(x)